翻訳と辞書 Words near each other ・ Epsom Downs Branch ・ Epsom Downs Racecourse ・ Epsom Downs railway station ・ Epsom Downs, Gauteng ・ Epsom Girls' Grammar School ・ Epsom Gold Cup ・ Epsom Handicap ・ Epsom Hospital ・ Epsom Normal Primary School ・ Epsom Oaks ・ Epsom Playhouse ・ Epsom Provincial Park ・ Epsom railway station ・ Epsom railway station, Victoria ・ Epsom Riot ・ Epsilon calculus ・ Epsilon Cancri ・ Epsilon Canis Majoris ・ Epsilon Canis Minoris ・ Epsilon Capricorni ・ Epsilon Carinae ・ Epsilon Cassiopeiae ・ Epsilon cell ・ Epsilon Centauri ・ Epsilon Cephei ・ Epsilon Ceti ・ Epsilon Chamaeleontis ・ Epsilon Circini ・ Epsilon Columbae ・ Epsilon composite Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Epsilon calculus ： ウィキペディア英語版 Epsilon calculus Hilbert's epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The ''epsilon operator'' and ''epsilon substitution method'' are typically applied to a first-order predicate calculus, followed by a showing of consistency. The epsilon-extended calculus is further extended and generalized to cover those mathematical objects, classes, and categories for which there is a desire to show consistency, building on previously-shown consistency at earlier levels.〔Stanford, overview paragraphs〕 ==Epsilon operator== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Epsilon calculus」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.